GALILEO: A System for Automating Ontology Evolution
نویسندگان
چکیده
We describe the GALILEO system, which is designed for automating the evolution of higher-order logic ontologies by incorporating user interaction for diagnosing and repairing faults. In particular, we present our approach to ontological conflict diagnosis, which circumvents problems posed by HOL’s undecidability by means of: formalising modular ontologies as Isabelle locales and preparing the system by user interaction; applying ontology repair plans and automatically identifying logically valid terms that are responsible for the conflict; and, automatically eliminating physically meaningless terms.
منابع مشابه
An Architecture of GALILEO: A System for Automated Ontology Evolution in Physics
The GALILEO system implements novel mechanisms for automated ontology evolution in physics. These mechanisms, called ontology repair plans, resolve logical conflicts between several modular ontologies. To demonstrate that ontology evolution can be automated using ontology repair plans, we propose a flexible architecture for the implementation. Support for inference of formulae that trigger repa...
متن کاملInconstancy: An Ontology Repair Plan for Adding Hidden Variables
We describe mechanisms for automated evolution of ontologies to adapt to new circumstances and to make them better suited to the given task. If a conflict is detected between the original theory and new experimental evidence, a repair is required to resolve the inconsistency and to recover from failure. The rules for conflict diagnosis and transformation of the ontologies are composed together ...
متن کاملطراحی سامانه هوشمند ساخت هستان نگار به کمک شبکه عصبی ARTو روشC-value
In recent years, many efforts have been done to design ontology learning methods and automate ontology construction process. The ontology construction process is a time-consuming and costly procedure for almost all domains/applications, so automating this process is a solution to overcome the knowledge acquisition bottleneck in information systems and reduce the construction cost. In this artic...
متن کاملAutomating Instance Migration in Response to Ontology Evolution
Of great importance to the e cient use of an ontology is the ability to easily e ect change [9]. This paper presents an approach toward automating a method for instance data to be kept up to date as an ontology
متن کاملOntology and Lexicon Evolution by Text Understanding
We introduce a methodology for automating the maintenance and extension of domain taxonomies, combined with the acquisition of lexical knowledge on the basis of a natural language understanding system. By defining the strength of various forms of evidence, conceptual as well as lexical hypotheses are ranked according to qualitive plausibility criteria and the most reasonable ones are selected f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011